Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
00DA53 | G. Berthelot ; C. Johnen [France] ; L. Petrucci [France] | Papetri : Environment for the analysis of PETRI nets |
00EA37 | C. Choppy [France] ; C. Johnen [France] | Petrireve: Proving Petri net properties with rewriting systems |
This area was generated with Dilib version V0.6.33. |